From Object-Z Specification to Groovy Implementation
نویسندگان
چکیده
منابع مشابه
Model Checking Object - Z Specification Using SPIN
Nowadays, model checking is recognized as an efficient technology for verifying system properties. There are many tools such as SPIN and NuSMV supports model checking that will greatly enhance software systems applicability. However, it is difficult to establish a tool to directly verify Object-Z, because of its highlevel abstraction. This paper puts the Object-Z specification into label transi...
متن کاملAbstract Specification in Object-Z and CSP
specification in Object-Z and CSP Graeme Smith and John Derrick Software Verification Research Centre, University of Queensland 4072, Australia phone: +61 7 3365 1625 fax: +61 7 3365 1533 [email protected] Computing Laboratory, University of Kent, Canterbury, CT2 7NF, UK. [email protected] Abstract. A number of integrations of the state-based specification language Object-Z and the process...
متن کاملZ Specification of Object Oriented Constraint Programs
Object oriented constraint programs (OOCPs) emerge as a leading evolution of constraint programming and artificial intelligence, first applied to a range of industrial applications called configuration problems. The rich variety of technical approaches to solving configuration problems (CLP(FD), CC(FD), DCSP, Terminological systems, constraint programs with set variables, . . . ) is a source of...
متن کاملFrom UML Specification into Implementation using Object Mapping
In information systems, a system is analyzed using a modeling tool. Analysis is an important phase prior to implementation in order to obtain the correct requirements of the system. During the requirements phase, the software requirements specification (SRS) is used to specify the system requirements. Then, this requirements specification is used to implement the system. The requirements specif...
متن کاملFrom Object-z Speciications to Classbench Test Suites from Object-z Speciications to Classbench Test Suites
This paper describes a method for speciication-based class testing that incorporates test case generation, execution, and evaluation based on formal speciications. This work builds on previous achievements in the areas of speciication-based testing and class testing by integrating the two within a single framework. The initial step of the method is to generate test cases for individual operatio...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Scientia Iranica
سال: 2018
ISSN: 2345-3605
DOI: 10.24200/sci.2018.20798